~jojo

Sweden

https://jo.zone

a person who likes compilers, type theory, computer graphics, and software that keep things simple, like Gemini and QBE.

kapreolo

The Kapreolo Programming Language

kyria-keymap

My keymap for the Kyria split keyboard

huelia

DIY RGB room lighting solution, using ESP32-C3, WS2812/13, & MQTT

microcrisp

Minimal Lisp for scripting in embedded contexts

Carth

A Scheme-looking, purely functional programming language

Activity

f0b5398 Collapse chain of decision tree tests to switch

~jojo pushed to ~jojo/kapreolo git

a day ago via kapreolo

ff31d0c subst all tvars in expr tree when done checking def

~jojo pushed to ~jojo/kapreolo git

a day ago via kapreolo

b845ed8 tuples & more complete pattern matching

~jojo pushed to ~jojo/kapreolo git

a day ago via kapreolo

9fec9c8 Replace pattern match loop w/ Peter Sestofts alg

~jojo pushed to ~jojo/kapreolo git

5 days ago via kapreolo

c9c7f0e sestoft match tmp

~jojo pushed to ~jojo/kapreolo git

6 days ago via kapreolo

8a70e04 seems we've got higher-rank polymorphism working now as well :)

~jojo pushed to ~jojo/kapreolo git

9 days ago via kapreolo

bbebf9f rank 1 polymorphism seems to be working ok

~jojo pushed to ~jojo/kapreolo git

9 days ago via kapreolo

778bbd7 use (limited) unification in checker

~jojo pushed to ~jojo/kapreolo git

9 days ago via kapreolo

82b9180 nested type annotations

~jojo pushed to ~jojo/kapreolo git

12 days ago via kapreolo

adefce5 flatten resolve & use Expr from kapo

~jojo pushed to ~jojo/kapreolo git

14 days ago via kapreolo

b0d8020 rename file ext from .fm to .reolo & lib.fm to kap.reolo

~jojo pushed to ~jojo/kapreolo git

14 days ago via kapreolo

aeddf43 proper type Arena for arenas instead of just Vec

~jojo pushed to ~jojo/kapreolo git

14 days ago via kapreolo

2e09fb0 get rid of PubIdent on fun params in Kapo

~jojo pushed to ~jojo/kapreolo git

14 days ago via kapreolo

b4dae5b rename name::{ParsedName, PrivIdent} to parse::{Name, IdentSpan}

~jojo pushed to ~jojo/kapreolo git

14 days ago via kapreolo

5be6a47 rename name::{ParsedName, PrivIdent} to parse::{Name, IdentRef}

~jojo pushed to ~jojo/kapreolo git

14 days ago via kapreolo
1 / 15