Humza Shahid 15fc36c7a4 delete some code which is now dead

2025-07-20 14:10:35 +01:00

fcore

delete some code which is now dead

2025-07-20 14:10:35 +01:00

ffi

remove unnecessary import statement

2024-11-11 05:31:43 +00:00

lib

pull new update from lib/brolib-sml

2025-03-22 05:31:58 +00:00

message-types

remove some opaque signature ascriptions

2025-04-22 20:49:56 +01:00

shell

eliminate instance of currying/partial application with constant value (a constant mailbox) is shell/shell.sml

2024-12-17 10:55:58 +00:00

test

begin scaffolding for adding deletion tests

2025-03-23 07:47:38 +00:00

.gitignore

a bit of repository management (add Makefile to make it less verbose to run tests, and add .gitignore to avoid committing built binaries)

2024-11-19 04:32:37 +00:00

.gitmodules

add Railroad framework as a git submodule properly

2024-11-18 13:50:02 +00:00

build-unix.sh

init

2024-09-30 13:43:43 +01:00

Makefile

a bit of repository management (add Makefile to make it less verbose to run tests, and add .gitignore to avoid committing built binaries)

2024-11-19 04:32:37 +00:00

shf-tests.mlb

functorise some boilerplate code to start a DFA loop

2025-07-20 09:39:17 +01:00

shf.mlb

functorise some boilerplate code to start a DFA loop

2025-07-20 09:39:17 +01:00

temp.txt

amend cursor.sml's 'helpTillNextChr' function to work with new line break scheme, and use it to implement 'delete till' functionality starting with 'dt' (for example, 'dta' deletes till 'a', 'dts'detetes till 's', etc.)

2024-11-09 05:35:32 +00:00

Description

No description provided

88 MiB

Languages

Standard ML 96%

C 4%