urbit/pkg/king/lib/Vere
2019-10-16 13:38:46 -07:00
..
Http Make TLS work and get the comet sponsor list. 2019-10-02 13:55:30 -07:00
Isle CLI parsing. 2019-08-12 21:57:30 -07:00
Pier WIP: Use edwards curve point types from Crypto.ECC.Edwards25519 2019-09-24 14:01:39 -07:00
Term Demuxed terminals now track terminal state instead of terminal history. 2019-09-18 16:11:06 -07:00
Ames.hs Print messages about looking up galaxy IPs. 2019-10-11 14:05:25 -07:00
Behn.hs Logging everywhere + log to file 2019-08-28 17:26:59 -07:00
Clay.hs 80 characters + golf 2019-09-13 13:06:13 -07:00
Dawn.hs Small cleanups to Dawn. 2019-10-10 15:01:50 -07:00
Http.hs First pass HTTP Client driver completed. 2019-09-05 13:09:45 -07:00
Isle.hs CLI parsing. 2019-08-12 21:57:30 -07:00
LMDB.hs Started separating out low-level LMDB logic. 2019-08-30 01:43:22 -07:00
LockFile.hs Merge branch 'king-haskell' of github.com:urbit/urbit into king-boot-pb 2019-09-17 19:54:08 -07:00
Log.hs EventBrowser: Polish UI and implement event trimming. 2019-08-29 17:23:48 -07:00
NounServ.hs Fixes live-lock by changing type of Vere.Term.API.Client.give to take [Term.Ev]. 2019-09-18 02:11:18 -07:00
Pier.hs Fix boot sequence for brass pills. 2019-10-16 13:38:46 -07:00
Serf.hs Further filling out of Dawn. 2019-09-20 16:10:03 -07:00
Term.hs Make it build 2019-09-18 11:05:36 -07:00