Home Posts Tags About

Type a keyword to search posts

Marimuthu Madasamy

The Joy of Programming!

9 Posts

Tags

JVM (7) Idris (6) Java (5) Frege (2) Android (1) Haskell (1) Nashorn (1) GHCJS (1)

Posts

2024 (1)

Idris JVM 0.7.0 Release

2021 (1)

Idris 2 Initial Release 0.2.1 for the JVM

2020 (1)

Idris 2 Bootstrap Compiler on the JVM with a JVM backend

2018 (1)

Idris JVM: Automated FFI with null safety and exception handling

2017 (2)

Idris JVM: Guarding against Java null using Maybe type
Introducing Idris on the JVM and an Idris Android example

2016 (1)

Haskell on the JVM via GHCJS and Nashorn

2014 (1)

Frege: Record accessors and mutators

2013 (1)

Frege: Hello Java

Tags

JVM 7 Idris 6 Java 5 Frege 2 Haskell 1 Nashorn 1 GHCJS 1 Android 1

Marimuthu Madasamy

The Joy of Programming!

9 Posts

Tags

JVM (7) Idris (6) Java (5) Frege (2) Android (1) Haskell (1) Nashorn (1) GHCJS (1)

Posts

2024 (1)

Idris JVM 0.7.0 Release

2021 (1)

Idris 2 Initial Release 0.2.1 for the JVM

2020 (1)

Idris 2 Bootstrap Compiler on the JVM with a JVM backend

2018 (1)

Idris JVM: Automated FFI with null safety and exception handling

2017 (2)

Idris JVM: Guarding against Java null using Maybe type
Introducing Idris on the JVM and an Idris Android example

2016 (1)

Haskell on the JVM via GHCJS and Nashorn

2014 (1)

Frege: Record accessors and mutators

2013 (1)

Frege: Hello Java

9 posts

© 2013 - 2026 Marimuthu Madasamy

Home Posts Tags About