matheus23/LambdaDeclarative
Little experiment on trying to implement a graphical Lambda-Calculus editor
An implementation of the chess game for playing in the racket repl. It uses racket/pict.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Little experiment on trying to implement a graphical Lambda-Calculus editor
Don't touch the Spikes (Smartphone game, see Play Store) implemented in Haskell using DeclarativeGraphics
Public repository.
Type-safe physical computations and unit conversions in Idris