-
listTheory is cluttered with stuff that has moved in over time from rich_listTheory, and depends on probably too many things (like pred_setTheory). There is arguably a "core" theory about lists, that …
xrchz updated
9 years ago
-
Load XML from https://github.com/PerseusDL
Data we may want to extract:
- Author
- Work
- Date?
- A way to reference a part of the work: chapter / paragraph / line number
- Greek text
- Attested fo…
-
**Describe the bug**
Suddenly while playing multiplayer( non-dedi-server ) with a friend the game started crashing when connecting belts and/or conveyor lifts to trainstations. As long as the belt or…
-
Moved from #542
### Motivation
When using characters like `"✓"` and `"✕"`, MLton reports:
```
Error: /home/runner/work/effekt/effekt/out/tests/effekt.mltests/lib_test.sml 391.69-391.76.
Str…
-
TL;DR: What's the state of a formal, machine-checkable semantics for WebAssembly?
Hello!
This is meant as a question and basis for discussion.
WebAssembly is an attractive compilation target …
-
Migrated from [rt.perl.org#130604](https://rt-archive.perl.org/perl6/Ticket/Display.html?id=130604) (status was 'open')
Searchable as RT130604$
-
Migrated from [rt.perl.org#120995](https://rt-archive.perl.org/perl6/Ticket/Display.html?id=120995) (status was 'open')
Searchable as RT120995$
-
Migrated from [rt.perl.org#126492](https://rt-archive.perl.org/perl6/Ticket/Display.html?id=126492) (status was 'open')
Searchable as RT126492$
-
Migrated from [rt.perl.org#114684](https://rt-archive.perl.org/perl6/Ticket/Display.html?id=114684) (status was 'open')
Searchable as RT114684$
-
Migrated from [rt.perl.org#78068](https://rt-archive.perl.org/perl6/Ticket/Display.html?id=78068) (status was 'open')
Searchable as RT78068$