Top New Best Ask Show Jobs

creata

2,963 karma · joined September 19, 2020

only a fool would take anything posted here as fact

submissions comments

Wadler: Type Classes

homepages.inf.ed.ac.uk·2 pts·creata·

The Programming Languages Zoo

plzoo.andrej.com·147 pts·creata·

Compiling Tree Transforms to Operate on Packed Representations (2017) [pdf]

engineering.purdue.edu·6 pts·creata·

Replit Dotcom

blog.repl.it·5 pts·creata·

Painting a simple eye ball with maths

youtube.com·1 pts·creata·

Metaprogramming in Idris [pdf]

core.ac.uk·2 pts·creata·

How to implement type theory in an hour

vimeo.com·2 pts·creata·

Blackboard2

durackpl.com·1 pts·creata·

Desmos.com/Calculator

1 pts·creata·

← PreviousPage 2 of 2