module Personal

public export 
record Personal where
  constructor CreatePersonal
  political : Integer
  langs : List String
  religion : String
  inspiredBy : String
  peopleMain : Integer
  lifeMain : Integer
  smoking : Integer
  alcohol : Integer

