claudio-etterli

Pinned Repositories

Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
idris2-dom-mvc
Single Page Web Applications in Idris
Language:Idris0 0 00
idris2-graph
Sparse, simple graphs in Idris2
Language:Idris0 0 00
idris2-indexed-graph
Language:Idris0 0 00
idris2-rhone-js
Experimental JS bindings for idris2-rhone
Language:Idris0 0 00
Idris2
A purely functional programming language with first class types
Language:Idris2.5k 65 1.2k373
idris2-dom-mvc
Single Page Web Applications in Idris
Language:Idris18 4 52
idris2-graph
Sparse, simple graphs in Idris2
Language:Idris4 3 01
idris2-indexed-graph
Language:Idris5 3 01
idris2-rhone-js
Experimental JS bindings for idris2-rhone
Language:Idris21 4 24

claudio-etterli's Repositories

claudio-etterli/Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
claudio-etterli/idris2-dom-mvc
Single Page Web Applications in Idris
Language:Idris0 0 00
claudio-etterli/idris2-graph
Sparse, simple graphs in Idris2
Language:Idris0 0 00
claudio-etterli/idris2-indexed-graph
Language:Idris0 0 00
claudio-etterli/idris2-rhone-js
Experimental JS bindings for idris2-rhone
Language:Idris0 0 00