Skip to content

Instantly share code, notes, and snippets.

View inariksit's full-sized avatar

Inari Listenmaa inariksit

77 followers · 46 following
View GitHub Profile
@inariksit
inariksit / LogicalSemantics(doesn't compile, extension just for syntax highlighting).gf
Last active September 17, 2015 10:36
-- all code by Aarne Ranta
abstract Logic = {
cat
Prop ; Ind ;
data
And, Or, If : Prop -> Prop -> Prop ;
Not : Prop -> Prop ;
All, Exist : (Ind -> Prop) -> Prop ;
Past : Prop -> Prop ;
@inariksit
inariksit / keybase.md
Created January 8, 2017 16:46

Keybase proof

I hereby claim:

  • I am inariksit on github.
  • I am inariksit (https://keybase.io/inariksit) on keybase.
  • I have a public key ASB5HeWRM-D3MKsIJgbPRpu6CgFay_ZfIggQXVeSrv30Mwo

To claim this, I am signing this object:

@inariksit
inariksit / gramatika4.4.1_lem_sorted.txt
Last active February 23, 2017 13:52
# Rules that target A1
REMOVE A1 IF (0 HAU) (-1 HONAKO) ; # line 4210
# Rules that target A3
REMOVE A3 IF (0C KAUS) ; # line 7559
@inariksit
inariksit / gramatika4.4.1_lem_Inari.rle
Last active February 24, 2017 07:28
BEFORE-SECTIONS
MAPPING-PREFIX = @;
DELIMITERS = "<$.>"<PUNT_PUNT>" "<$?>"<PUNT_GALD>" "<$!>"<PUNT_ESKL>" <<s>> <</s>>;
#DELIMITERS = "<DELIM>" ;
# DELIMITERS = "<$.>" "<.>" "<$?>" "<$!>" <<s>> <</s>>;
#SETS
@inariksit
inariksit / parseData.hs
Created January 16, 2018 21:00
{-# LANGUAGE PackageImports #-}
import "pgf2" PGF2
import qualified Data.Map as Map
main = do
pgf <- readPGF "Data.pgf"
json <- getConcr' pgf (abstractName pgf ++ "Json") -- :: Concr
let res = parse json (startCat pgf) "[true]"
let expr = case res of
@inariksit
inariksit / UnsupportedTokenGluing.gf
Last active January 4, 2019 12:51
abstract UnsupportedTokenGluing = {
flags startcat = S ;
cat
S ; A ;
fun
toS : A -> S ;
a,b : A ;
}
@inariksit
inariksit / My.gf
Last active January 13, 2019 21:14
abstract My = Numeral -- Extending Numeral grammar from RGL, see http://www.grammaticalframework.org/doc/tutorial/gf-tutorial.html#toc43
** {
flags startcat = Clause ;
cat
Kind ;
Clause ;
-- The categories Int, Float and String are present in all grammars
-- The categories Dig and Digits come from Numeral, which this grammar extends.
@inariksit
inariksit / Mismatch-abstract-concrete.md
Last active May 16, 2019 14:28
no overload instance for Foo among Foo

You can get this error if your abstract and concrete syntax are mismatched. Here's an example:

-- Abstract
fun NP_sleeps_S : NP -> S ;

-- Concrete
lin NP_sleeps_S np = mkS (mkCl np sleep_V) ;
@inariksit
inariksit / Test.gf
Last active July 23, 2019 11:36
abstract Test = {
cat
NP ; S ;
fun
ANP, BNP, CNP : NP ;
ConstNP : NP -> NP ;
NP2S : NP -> S ;
}
@inariksit
inariksit / LangHun-lin-diff.md
Last active April 27, 2020 19:16
  • leg_N

** PhrUtt NoPConj (UttAP (ComparA young_A (DetCN (DetQuant DefArt NumPl) (UseN ∅)))) NoVoc LangHun-NEW> fiatalabb a lábaknál LangHun-OLD> fiatalabb a láboknál LangEng> younger than the legs

** PhrUtt NoPConj (UttVP (ComplSlash (SlashV2a write_V2) (DetCN (DetQuant DefArt NumPl) (UseN ∅)))) NoVoc LangHun-NEW> a lábakat írni