Steve Dunham 80b0faf9c4 updates to tour

2026-01-05 20:30:18 -08:00

..

Combinatory.newt

Combinatory checks now, probably from fixes to eval

2025-10-03 20:34:07 -07:00

DSL.newt

Add example from youtube, allow unicode type names

2024-11-14 21:07:49 -08:00

Hello.newt

tweaks to playground files

2024-11-25 16:25:05 -08:00

Lists.newt

Improvements to erasure checking, fix to codegen issue

2024-11-29 10:02:45 -08:00

Prelude.newt

[ libs ] move prelude file to src

2025-07-27 15:02:53 -07:00

Reasoning.newt

updates to playground help/comments

2025-12-29 09:49:07 -08:00

Tour.newt

updates to tour

2026-01-05 20:30:18 -08:00

Tree.newt

Improvements to grammar

2024-11-09 21:43:38 -08:00

TypeClass.newt

add namespaces to names

2024-12-26 18:51:46 -08:00